Menasco Normal Form and Recognizing Unknot Diagrams
نویسنده
چکیده
We give a diagrammatic variant of Haken’s normal surface theory, which relies only on a knot diagram and not on additional structures such as a triangulation. The variables are normal arcs rather than normal discs. The crucial ingredient is Menasco’s crossing bubble technique. We demonstrate an unknot recognition algorithm utilizing these techniques.
منابع مشابه
Normal Surface Theory in Link Diagrams
We give a diagrammatic variant of Haken’s normal surface theory, which relies only on a knot diagram and not on additional structures such as a triangulation. The Menasco–Thistlethwaite crossing bubble technique is used to represent surfaces as curve systems. These curves are represented by normal arcs in regions of the diagram and integer linear equations are obtained by gluing the arcs in adj...
متن کاملUnknot Diagrams Requiring a Quadratic Number of Reidemeister Moves to Untangle
We present a sequence of diagrams of the unknot for which the minimum number of Reidemeister moves required to pass to the trivial diagram is quadratic with respect to the number of crossings. These bounds apply both in S and in R.
متن کاملBoundary-twisted normal form and the number of elementary moves to unknot
Suppose K is an unknot lying in the 1-skeleton of a triangulated 3-manifold with t tetrahedra. Hass and Lagarias showed there is an upper bound, depending only on t, for the minimal number of elementary moves to untangle K. We give a simpler proof, utilizing a normal form for surfaces whose boundary is contained in the 1-skeleton of a triangulated 3-manifold. We also obtain a significantly bett...
متن کاملVirtual knots undetected by 1 and 2 - strand bracket polynomials H . A . Dye MADN - MATH
Kishino's knot is not detected by the fundamental group or the bracket polynomial; these invariants cannot differentiate between Kishino's knot and the unknot. However, we can show that Kishino's knot is not equivalent to unknot by applying either the 3-strand bracket polynomial or the surface bracket polynomial. In this paper, we construct two non-trivial virtual knot diagrams, K D and K m , t...
متن کاملGrid Diagrams in Heegaard Floer Theory
We review the use of grid diagrams in the development of Heegaard Floer theory. We describe the construction of the combinatorial link Floer complex, and the resulting algorithm for unknot detection. We also explain how grid diagrams can be used to show that the Heegaard Floer invariants of 3-manifolds and 4-manifolds are algorithmically computable (mod 2).
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009